Quantified Constraints Under Perturbation

نویسنده

  • Stefan Ratschan
چکیده

Quantified constraints (i.e., first-order formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the behavior of quantified constraints under perturbation by showing that one can formulate the problem of solving quantified constraints as a nested parametric optimization problem followed by one sign computation. Using the fact that minima and maxima are stable under perturbation, but the sign of a real number is stable only for non-zero inputs, we derive practically useful conditions for the stability of quantified constraints under perturbation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Invariance of Fréchet frames under perturbation

Motivating the perturbations of frames in Hilbert and Banach spaces, in this paper we introduce the invariance of Fr'echet frames under perturbation. Also we show that for any Fr'echet spaces, there is a Fr'echet frame and any element in these spaces  has a series expansion.

متن کامل

Density estimation on small datasets

How might a smooth probability distribution be estimated, with accurately quantified uncertainty, from a limited amount of sampled data? Here we describe a field-theoretic approach that addresses this problem remarkably well in one dimension, providing an exact nonparametric Bayesian posterior without relying on tunable parameters or large-data approximations. Strong non-Gaussian constraints, w...

متن کامل

Adaptive Optimization with Constraints: Convergence and Oscillatory Behaviour

The problem of adaptive minimization of globally unknown functionals under constraints on the independent variable is considered in a stochastic framework. The CAM algorithm for vector problems is proposed. By resorting to the ODE analysis for analysing stochastic algorithms and singular perturbation methods, it is shown that the only possible convergence points are the constrained local minima...

متن کامل

Nonlinear Viscosity Algorithm with Perturbation for Nonexpansive Multi-Valued Mappings

In this paper, based on viscosity technique with perturbation, we introduce a new non-linear viscosity algorithm for finding a element of the set of fixed points of nonexpansivemulti-valued mappings in a Hilbert space. We derive a strong convergence theorem for thisnew algorithm under appropriate assumptions. Moreover, in support of our results, somenumerical examples (u...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 33  شماره 

صفحات  -

تاریخ انتشار 2002